Graph Nodes:
X9;X8;X6;X1;X2;X11;X3;X13;X10;X12

Graph Edges:
1. X9 o-> X11
2. X9 o-> X10
3. X8 o-o X6
4. X6 <-> X2
5. X3 o-> X6
6. X6 <-> X10
7. X1 o-> X11
8. X1 o-> X13
9. X2 <-> X13
10. X2 <-> X12
11. X11 --> X12
12. X10 o-> X13
